Metamorphic Relation Template v 1 . 0

نویسندگان

  • Sergio Segura
  • Amador Durán
  • Javier Troya
چکیده

Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different executions of the program under test, called metamorphic relations. In a recent survey, we observed a great variability in the way metamorphic relations are described, typically in an informal manner using natural language. We noticed that the lack of a standard mechanism to describe metamorphic relations often makes them hard to read and understand, which hinders the widespread adoption of the technique. To address this shortcoming, we have proposed a template for the description of metamorphic relations, which aims to ease communication among practitioners as well as contributing to research dissemination. Also, it provides a helpful guide for those approaching metamorphic testing for the first time. This technical report describes the proposed template, records its evolution through its different versions and shows several examples of use.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ar X iv : a st ro - p h / 99 07 05 8 v 2 8 J ul 1 99 9 SEEKING THE LOCAL CONVERGENCE DEPTH . V . TULLY - FISHER

We have obtained I band Tully-Fisher (TF) measurements for 522 late-type galaxies in the fields of 52 rich Abell clusters distributed throughout the sky between ∼50 and 200h Mpc. Here we estimate corrections to the data for various forms of observational bias, most notably Malmquist and cluster population incompleteness bias. The bias-corrected data are applied to the construction of an I band ...

متن کامل

Seeking the Local Convergence Depth. v. Tully-fisher Peculiar Velocities for 52 Abell Clusters

We have obtained I band Tully-Fisher (TF) measurements for 522 late-type galaxies in the fields of 52 rich Abell clusters distributed throughout the sky between ∼50 and 200h Mpc. Here we estimate corrections to the data for various forms of observational bias, most notably Malmquist and cluster population incompleteness bias. The bias-corrected data are applied to the construction of an I band ...

متن کامل

Metamorphic Testing of Programs on Partial Differential Equations: A Case Study

We study the effect of applying metamorphic testing to alleviate the oracle problem for numerical programs. We discuss a case study on the testing of a program that solves an elliptic partial differential equation with Dirichlet boundary conditions. We identify a metamorphic relation for the equation and demonstrate the effectiveness of metamorphic testing in identifying the error. The relation...

متن کامل

Predicting Metamorphic Relation for Matrix Calculation Programs

Matrices often represent important information in scientific applications and are involved in performing complex calculations. But systematically testing these applications is hard due to the oracle problem. Metamorphic testing is an effective approach to test such applications because it uses metamorphic relations to determine whether test cases have passed or failed. Metamorphic relations are...

متن کامل

Using Semi-Supervised Learning for Predicting Metamorphic Relations

Software testing is difficult to automate, especially in programs which have no oracle, or method of determining which output is correct. Metamorphic testing is a solution this problem. Metamorphic testing uses metamorphic relations to define test cases and expected outputs. A large amount of time is needed for a domain expert to determine which metamorphic relations can be used to test a given...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017